1. A Process Algebraic Approach to Software Architecture Design
پدیدآورنده : / Alessandro Aldini, Marco Bernardo, Flavio Corradini
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. A process algebraic approach to software architecture design
پدیدآورنده : Aldini, Alessandro.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Software architecture,، Software engineering,، Electronic books
رده :
QA
76
.
754
.
A43
2010
3. 26, 2010, Advanced Lectures-Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21
پدیدآورنده : / Alessandra Di Pierro, Chris Hankin (auth.), Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
4. Centric Networking-User
پدیدآورنده : / Alessandro Aldini, Alessandro Bogliolo
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
5. Computer Performance Engineering
پدیدآورنده : / Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
6. Computer performance engineering
پدیدآورنده : / Alessandro Aldini ... [et al.] (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Formal methods (Computer science), Congresses,Stochastic models, Congresses,Computer systems, Evaluation, Congresses
رده :
QA76
.
9
.
E94E64
2010
7. Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance
پدیدآورنده : / , Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj SuriکJoancomart-Alfaro, Jordi Herrera-Joaquin Garcia
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
8. Formal Methods for Quantitative Aspects of Programming Languages
پدیدآورنده : / Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
9. Foundations of Security Analysis and Design III :
پدیدآورنده : edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Data encryption (Computer science)
10. Foundations of Security Analysis and Design VI
پدیدآورنده : / Alessandro Aldini, Roberto Gorrieri
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
11. Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures
پدیدآورنده : / Sabrina De Capitani di Vimercati, Sara Foresti, Giovanni Livraga, Pierangela Samarati (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
12. Foundations of Security Analysis and Design VII
پدیدآورنده : / Alessandro Aldini, Javier Lopez, Fabio Martinelli
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
13. Foundations of security analysis and design III
پدیدآورنده : / Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer security--Congresses,Computer networks--Security measures--Congresses
رده :
QA
,
76
.
9
,.
A25
,
F685
,
2005
14. Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures
پدیدآورنده : Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer security,، Computer networks -- Security measures
رده :
QA
76
.
L28
Vol
.
3655
